Processes with local and global liveness requirements
نویسندگان
چکیده
منابع مشابه
Processes with local and global liveness requirements
The deterministic QS model, introduced in [CS95], captures (local) liveness properties, commonly specified in Temporal Logic, and not fully captured by nondeterministic process models. Liveness explains how some processes engage spontaneously in some actions and wait passively for the triggering of other actions by other processes. In this paper, we extend the QS model to describe liveness prop...
متن کاملUnder consideration for publication in Formal Aspects of Computing Processes with Local and Global Liveness Requirements
The deterministic QS model, introduced in [CS95], captures (local) liveness properties, commonly specified in Temporal Logic, and not fully captured by non-deterministic process models. Liveness explains how some processes engage spontaneously in some actions and wait passively for the triggering of other actions by other processes. In this paper, we extend the QS model to describe liveness pro...
متن کاملThe Relationship between Local and Global Coherence and Cognitive Processes in Persian-speaking Elderly Population
Objective: Many studies have suggested that there is a relationship between coherence and cognitive processes. This study aims at investigating this hypothesis through assessing the relationship between cognitive variables and coherence in the discourse of two groups of Persian-speaking younger and older adults. Methods: In order to evaluate our participants' cognitive capabilities, we recrui...
متن کاملDifferentiating Local and Global Systems Requirements Gathering Processes in IS Software Development Projects
The paper discusses difference in the requirements gather processes between a local team in software development and a global software development team. The paper highlights the cultural differences between a uniform cultural team and a multicultural team and argues that the communication issues that arise are inevitably associated with culture and geography. The second major issue raised in th...
متن کاملModelling local and global phenomena with sparse Gaussian processes
Much recent work has concerned sparse approximations to speed up the Gaussian process regression from the unfavorable O(n) scaling in computational time to O(nm). Thus far, work has concentrated on models with one covariance function. However, in many practical situations additive models with multiple covariance functions may perform better, since the data may contain both long and short length...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2009
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2008.08.003